Modal Logic, Transition Systems and Processes
نویسندگان
چکیده
منابع مشابه
Modal Logic , Transition
Transition systems can be viewed either as process diagrams or as Kripke structures. The rst perspective is that of process theory, the second that of modal logic. This paper shows how various formalisms of modal logic can be brought to bear on processes. Notions of bisimulation can not only be motivated by operations on transition systems, but they can also be suggested by investigations of mo...
متن کاملA Modal Logic over Early Symbolic Transition Systems
Symbolic transition systems separate data from process behaviour by allowing the data to be symbolic. Designing a HML-like modal logic for these transition systems is interesting because of the subtle interplay between the quantiiers for the data and the modal operators (quantiiers on transitions). In this paper a logic is deened, with a denotational semantics. The logic has been designed so as...
متن کاملModal Logic of Transition Systems in the Topos of Trees
We investigate the adjunction between the category of tran-sition systems (with not nec. bounded morphisms) and the topos of treesS from the perspective of the basic modal logic K on transition systems.More specifically, we show how the modal logic K over an object of Sseen as a transition system can be lifted back as a subobject of S . Thisrelies on the usual mutually trans...
متن کاملParametric Modal Transition Systems
Modal transition systems (MTS) is a well-studied specification formalism of reactive systems supporting a step-wise refinement methodology. Despite its many advantages, the formalism as well as its currently known extensions are incapable of expressing some practically needed aspects in the refinement process like exclusive, conditional and persistent choices. We introduce a new model called pa...
متن کاملWeighted Modal Transition Systems
Specification theories as a tool in model-driven development processes of component-based software systems have recently attracted a considerable attention. Current specification theories are however qualitative in nature, and therefore fragile in the sense that the inevitable approximation of systems by models, combined with the fundamental unpredictability of hardware platforms, makes it diff...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 1994
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/4.5.811